Bär (S.), Greensmith (E.), Ozbek (L.) (edd.) Quintus of Smyrna's <i>Posthomerica</i>. Writing Homer Under Rome. Pp. xii + 436, figs. Edinburgh: Edinburgh University Press, 2022. Cased, £95. ISBN:978-1-4744-9358-1. – CORRIGENDUM

Artificial Intelligence University of Edinburgh Edinburgh , EH 1 1 HN , Scotland

We propose the use of explicit proof plans to guide the search for a proof in automatic theorem proving. By representing proof plans as the specifications of LCF-like tactics, [Gordon et al 79], and by recording these specifications in a sorted meta-logic, we are able to reason about the conjectures to be proved and the methods available to prove them. In this way we can build proof plans of wi...

The University of Edinburgh S CHOOL

This list is designed to help you match your interests with a potential supervisor. You do not need to register your project formally until Week 3 of semester 1 2013/14, but it is helpful to many students to have this list now, to enable them to talk to potential supervisors and agree on a project choice before the start of the next academic year. It is up to you to find a supervisor. Contact d...

THE UNIVERSITY of EDINBURGH

1 University of Edinburgh School of Informatics Agent Argumentation under Time Pressure

Automated argumentation is believed to be a more powerful approach to interaction between agents than game-theoretic and heuristic-based approaches. However, during argumentation agents spend a lot of time to ensure their arguments are safe. The paper attempts to find the reasons that slow down the argument generation process by considering a simple multi agent game – Diplomacy. The research is...

Mesh Generation Mark Filipiak Edinburgh Parallel Computing Centre The University of Edinburgh Version 1 . 0 November 1996